home *** CD-ROM | disk | FTP | other *** search
/ PC-Blue - MS DOS Public Domain Library / PC-Blue MS-DOS Public Domain Library - NYACC.iso / vol128 / read.me < prev    next >
Encoding:
Text File  |  1986-12-15  |  1.5 KB  |  55 lines
  1.                         A.D.A.
  2.                         1570 Arran Way
  3.                         Dresher, Pa.
  4.                         19025
  5.  
  6.  
  7.  
  8.  
  9.                     A.D.A. Bug Report 4/01/85
  10.  
  11.  
  12. Version 1.1 of A.D.A. small model PROLOG fixed the following bugs:
  13.  
  14. 1) A bug in the built-in predicate "name" caused the inference
  15. engine to malfunction.
  16.  
  17. 2) An embedded question in a source file caused a parser error if
  18. it was thelast statement of the file.
  19.  
  20.  
  21. Version 1.2a fixed the following bugs:
  22.  
  23. 1) The first number after a "<", or ">" sign, if not separated by 
  24. a space, was lost by the parser.
  25.  
  26. 2) The built-in predicate "get0" did not echo to the console.
  27.  
  28.  
  29. Version 1.2b fixed the following bugs:
  30.  
  31. 1) Quoted operators are now treated as functors. Thus, 
  32.    '+'(2,3) is equivalent to 2 + 3.
  33.    They were previously treated as distinct symbols. Thus '+'
  34.    did not represent the unquoted + operator.
  35.  
  36. 2) The "=.." function when applied in the form,
  37.   [a,b] =.. [U,V,W] would not work unless U == '.'.
  38.  
  39. 3) The operator "," may now be entered as a member of a list.
  40.   Thus, [a,,,b] is equivalent to [a,',', b].
  41.  
  42. Users who had difficulty running the C & M program on page 86 
  43. (first edition) for reading and tokenizing a sentence will find that
  44. it works just fine now.
  45.  
  46. Version 1.2c has an improved method of "seeing" different streams
  47. which may or may not be apparent.
  48.  
  49.  
  50. Version 1.3 fixed the following bug:
  51.  
  52. The "assert" predicates did not create clauses correctly if the
  53. clauses contained variables.
  54.  
  55. Please report any bugs to Bob Morein, (215)-646-4894